security typing with reference
projection_fail

modification to the marked heap
required