Control flow enforcement