What is a discharge of a criminal code violation?