void tail_called_in_a_from_main();

void tail_called_in_b_from_a();