update TODO
main_program translation inserts sms_start and nnt_stop calls
update IDENTITY