more work on hal/idt