source file translated by test_build.