"fixed control flow"