type p = ^x; x = byte; var b : p; begin b^:=12; end.