Pigeon, an accumulator-based virtual machine