{
   local($SIG{INT}) = 'IGNORE';
   @lines = <STDIN>;
}