extflag = "conthirtytrig";