Symbol: check_user_elem_overflow