#.port.name .#.event.direction .#.event.name  = [&] (#x:formals) {
return dzn::shell(dzn_pump, [ #x:capture-list] {return #x:instance-name .#x:instance-port-name .#.event.direction .#.event.name(#x:code-arguments);});
};