put name and arity in the annex