int main(void){    // Test: do things work well enough for us to get to main()?    return 0;}