morse_error("RUNTIME_user_tag_size","must be called before creating any Morse descriptor with MORSE_Desc_create(). The tag sizes will not be modified.");
morse_error("RUNTIME_user_tag_size","must be called before creating any Morse descriptor with MORSE_Desc_create(). The tag sizes will not be modified.");