Why not:

out.Write("int idot(int3 x, int3 y)\n"
          "..."
          "...");