(LETREC SIXTUPLE (SIXTUPLE LAMBDA (X) (TRIPLE DOUBLE X)) (TRIPLE LAMBDA (FUN X) (MUL (FUN X) (QUOTE 3))) (DOUBLE LAMBDA (X) (MUL X (QUOTE 2))))&