Less literal mapping for readBytes, but actually works