printing
mark_invalid