Voice_element* get_rest_element(String,Duration *);
Voice_element* get_word_element(Text_def*, Duration*);
void set_last_duration(Duration const *);
Voice_element* get_rest_element(String,Duration *);
Voice_element* get_word_element(Text_def*, Duration*);
void set_last_duration(Duration const *);