some default values for built-ins