DEFINI apply (f, x) VT {
  REDI (INVOCA f (x))
}

DESIGNA dbl VT FVNCTIO (n) VT {
  REDI (n * II)
}

DICE(INVOCA apply (dbl, VII))