Ха! Так компилятор потому и не генерирует реккурсивных вызовов, что в PIC стека нет. Да там и другого много чего нет, а потому и проблемы там свои, отличные от других. А где проблем нет вообще? Лично мне проще решать проблемы со стеками, чем не иметь стеков совсем.