25.16.1.13 iohandler

The iohandler builtin returns the handler string of some given IO space. It has the following prototype:

fun iohandler = (int<32> ios = get_ios) string

If the IO space specified to iohandler doesn’t exist, E_no_ios will be raised.