pseudoref: check return values from read_ref()