main: (
  printf($"Hello world!"l$)
)