-pedatic switched off for now: gcc 4.7.3 gives errors.
1 : print("hello world")
"hello world"