extflag = "mousehole_generator";