*with inexpensive call* -> *when default is already calculated* ?