(safe_read): Change type of pointer parameter to