A lightweight virtual machine for functional languages interpretation