oups; clean up the removal of weird-shit in r_core_read_at