BVP now supports tail-calls