implement the `fail_` lang item