function split(s)
  local result = {}
  for token in string.gmatch(s, "[^%s]+") do
    table.insert(result, token)
  end
  return result
end