checked program flow;