BROKEN Add assertions to read_value functions