iosize ¶The iosize builtin returns the size of a given IO space, as an
offset. It has the following prototype:
fun iosize = (int<32> ios = get_ios) offset<uint<64>,1>
If the IO space specified to iosize doesn’t exist,
E_no_ios will be raised.