I expect you'll find (from HARDCODED) which would be the default from within Pants