load_file("demo_gfluct.oc")