extflag = "krstop";