extflag = "b3bfinale";