VM for Star and similar functional languages