extflag = "krstart";