extflag = "krrunto";