core: Machine#with_ui