#!/bin/sh
echo default_machine
