4880 /* possible error not yet reported */