hello abc_123 world

fun hello () =
  print (##)lo"