rename runtime support code rai* -> proc*