# This file exists for automatically generating zone loading code.