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