echo "procedure main();write(\"hello\");end" | icont - -x