function sendEventHVF input Integer queue; input stdEvent e; input Real value; output Integer out; end sendEventHVF;