File power.cxx#