Constraining the Program Counter