code_            5278 src/objects.cc : name_(name), flags_(flags), code_(NULL) { }
code_            5283 src/objects.cc code_(code) { }