Control-flow enforcement technology