// this file is replaced with an autogenerated one during precompilation