Inlined read_cookie call in loadNumbers/0.