Hola.
Como comenté en otro correo, es mejor que sea una función.
Como procedimiento puede tener sentido si la cola está indefinida al comienzo y lo que hace el crear es definirla como vacía (sino, se pierde lo que tenía).
En general, toda función f, n aria, puede ser pensada como un procedimiento p, n+1 ario, donde el resultado de la función es un parámetro por referencia (res) del procedimiento :
T f (T1 x1, T2 x2, ... Tn xn) <=> void p (T1 x1, T2 x2, ... Tn xn, T & res)
Saludos, Carlos