add `make-proc<%>`