__attribute__((export_name("A1"))) int
A1()
{
return 11;
}
int
A2()
return 12;
/* mA is a reactor. it doesn't need a main() */