The CubeVM interpeter for Pi-calculus programs