Saving application's entry point in GPR[11]