True g A check_fail True b B do_nothing True f A True make APPLICATION Execution completed