<?php interface vm { public function start(); public function stop(); }