This is the funky "export" syntax that prevents stuff from being renamed.