to quadruple [ quadrupled ; quadrupled ]