Edit: umachine.h