might exit_with_status "42"