(Right above here would be an appropriate place to do the compiletime override.)