Hot: console-synthesis