OE_Restrict
refargs(A) ::= . { A = OE_Restrict * 0x010101; }
refact(A) ::= RESTRICT. { A = OE_Restrict; }