message.sml complete?