control flow tuple