<?hh
require "double string" ;
