s/function "?="/function \\?=\\/
s@function "?/="@function \\?/=\\@
s/function "?<"/function \\?<\\/
s/function "?<="/function \\?<=\\/
s/function "?>"/function \\?>\\/
s/function "?>="/function \\?>=\\/
s/function "??"/function \\??\\/
s/function "and" (L : SIGNED)/function and_reduce (L : SIGNED)/
s/function "nand" (L : SIGNED)/function nand_reduce (L : SIGNED)/
s/function "or" (L : SIGNED)/function or_reduce (L : SIGNED)/
s/function "nor" (L : SIGNED)/function nor_reduce (L : SIGNED)/
s/function "xor" (L : SIGNED)/function xor_reduce (L : SIGNED)/
s/function "xnor" (L : SIGNED)/function xnor_reduce (L : SIGNED)/
s/function "and" (L : UNSIGNED)/function and_reduce (L : UNSIGNED)/
s/function "nand" (L : UNSIGNED)/function nand_reduce (L : UNSIGNED)/
s/function "or" (L : UNSIGNED)/function or_reduce (L : UNSIGNED)/
s/function "nor" (L : UNSIGNED)/function nor_reduce (L : UNSIGNED)/
s/function "xor" (L : UNSIGNED)/function xor_reduce (L : UNSIGNED)/
s/function "xnor" (L : UNSIGNED)/function xnor_reduce (L : UNSIGNED)/
s/-- FUNCTION to_string ( value : UNSIGNED ) RETURN string;/FUNCTION to_string ( value : UNSIGNED ) RETURN string;/
s/-- FUNCTION to_string ( value : SIGNED   ) RETURN string;/FUNCTION to_string ( value : SIGNED   ) RETURN string;/