On tail call optimization in certain C compilers