add missing fun with arity 4