Real procedure-arity impl.