added printgf
added printgf
added gfprint.sml