RESPEC changes the attributes of the expression x to the type t without changing the bit value of the expression.
|
x must have the same as t, and if either x or t is UNALIGNED BIT, then both must be (in which case the function is somewhat uninteresting since it would do nothing).
As an example, if t is a type with the attributes LIMITED ENTRY, then RESPEC( t, sysnull() ) would return a "null" function pointer.