text: from k5test import *
  
  realm = K5Realm(realm='TEST')
  
  # CVE-2013-1417 KDC dereferences null pointer
  
  realm.kinit(realm.user_princ, password('user'))
  realm.run([kvno, '-S', 'host', 'example.com'], expected_code=1)
  # Make sure KDC is still running.
  realm.kinit(realm.user_princ, password('user'))
  success('CVE-2013-1417 regression test')
  