DEFINI dbl (x) VT {
  REDI (x + x)
}
DIC (MVTA([I, II, III, IV], dbl))