IDT setup, TODO: stdio