no need for IDT initializer or runtime assertions