about arity-0 function