User: restricted_ptr