Mark tail calls and annotations