push_default_type  688 cache.h        extern enum push_default_type push_default;
push_default_type   57 environment.c  enum push_default_type push_default = PUSH_DEFAULT_UNSPECIFIED;