definition module UtilPatch

// RWS ...
/* this function is compatible with patchbin in the Unix Clean
   distribution (1.3), variableName should be ' ' (space) padded
   to 10 characters, value should end with a null character
*/ 
PatchableValue :: {#Char} !{#Char} -> {#Char};
// ... RWS