define DEFAULT_INT