extflag = "krleave";