The UNSAFE attribute indicates that an object can accept  values
  of  any  type without type checking.  The exact properties of an
  unsafe object depend on the object's machine representation.

  See the "HP Pascal Language Reference Manual" for  the  complete
  description of using the UNSAFE attribute.