example stringification of a program