x = /^<hello> (.*)$/
y = Regexp.new('\<d+> (\d+)$')
