const { io } from @'core/io'; const good_food : String = 'watermelon'; let @main : i32 in { io.outln('Hello world!'); io.outf('My favorite food is %s\n',good_food); }