// BEGIN mycpp output #include "mycpp/runtime.h" namespace pea_hello { // forward declare } namespace pea_hello { // declare int main(List* argv); } // declare namespace pea_hello namespace pea_hello { // define int main(List* argv) { StackRoot _root0(&argv); return 42; } } // define namespace pea_hello