program jsm5( input, output ) ;
type
  INT16  = INTEGER  attribute( size=16 ) ;
  WORD16 = Cardinal attribute( size=16 ) ;
var
  i16 : INT16 ;
  w16 : WORD16 ;
begin
WORD16(I16) := W16 ; { error: invalid lvalue in assignment }
end.