((function EmitVertex
  (signature void
    (parameters)
    ((emit-vertex)))
))