Test case: ``` record T is end record; var t: T; var q := @bytesof t.crash; ```
Test case: