BEGIN
   print ((program idf, newline))
END