Various console improvements using ieee.gen