generators.cc