hello| set 1 -> x| define f<0> as set 2 -> x| do print| goodbye|