extflag = "funny";