__attribute__((export_name("A1"))) int
A1()
{
    return 11;
}

int
A2()
{
    return 12;
}

/* mA is a  reactor. it doesn't need a main() */