iovolatile ¶The iovolatile builtin returns a boolean indicating whether a
given IO space is volatile. It has the following prototype:
fun iovolatile = (int<32> ios = get_ios) int<32>
If the IO space specified to iovolatile doesn’t exist,
E_no_ios will be raised.