Machine with def defined