function dequeue input Element vecIn[:]; input Integer tailIn; input Integer headIn; output Element vecOut[size(vecIn, 1)]; output Element e; output Integer tailOut; output Integer headOut; end dequeue;