messages helper, pure::halt