read_debug32: Use a pointer instead of returning the value