solution for 6.3.1 is wrong

[siche]

Record is stored in a new table not the one that stores normal statement. At the beginning of translating record offset of is pushed into satck and at the end of translating recod offset is popped. The offset is zero in its new Env() for a record.