Symbol: get_nullterm_sequence_len