Implement part of VM and Value