#0=(write* '#0#)