added machine definitions