first control flow debugged