A Machine-Style Operating Server