let delete_char v args = v#delete_char true