is that a thing as line? (linux emulator?) there is a tagged union; tags in small-caps): Load_mem(kind, address, size, next_state) - fence Read_reg(reg_name, read_continuation) - register write footprint of the knowledge of the increased separation from the cargo hold
ridges