(define sample-program
  '((def-func main
              (begin
                (call LED-init)
                (for ((:= i 0)
                      (- 10 i)
                      (:= i (+ i 1)))
                     (begin
                       (:= wait-func-arg 100)
                       (call wait-func)
                       (call LED-on)
                       (:= wait-func-arg 100)
                       (call wait-func)                  
                       (call LED-off)))))
    (def-func wait-func
              (while 1
                     (if wait-func-arg
                         (:= wait-func-arg
                           (- wait-func-arg 1))
                         (return))))
    (def-func LED-init (begin (asm (CLRF PORTB))
                              (asm (BSF STATUS PG))
                              (asm (CLRF TRISB))
                              (asm (BCF STATUS PG))))
    (def-func LED-on   (asm (BSF PORTB 0)))
    (def-func LED-off  (asm (BCF PORTB 0)))))

(trans-def-funcs sample-program)
=> ....