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