Starting to implement G-Machine