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