ioflags ¶The ioflags builtin returns the flags active in a given IO
space, encoded in an unsigned 64-bit integer. It has the following
prototype:
fun ioflags = (int<32> ios = get_ios) uint<64>
If the IO space specified to ioflags doesn’t exist,
E_no_ios will be raised.