25.16.1.12 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.