`var_lib_t` with write seems fine. This is more just a demarcation than anything else.