added source for <machine>