pragma ordered