while gets()
  if $. == 1 ... ~ /^\*/; print("--") end
  printf("%5d: %s", $., $_)
end