Empty Machine class