widechars.pas: actually print them. :)