begin
recordformat rf(short h0,byte b2,b3)
ownrecord(rf) x1,x2
integerfn fred
integer k
record(rf)r0,r1,r2
k=13
r0_h0=12
x1_h0=17
x2=x1
r1=r0
r2=r1
result=r2_h0
end
if fred=12 and x2_H0=17 then printstring("Test OK")
endofprogram