extflag = "MAINPROPLOC";