removed BuiltinNProc type