verify-state: forward declare io_u