updated section file from generated code, we may still need to tweak this file, but the generator is pretty close to correct output format