(define-syntax (aif stx) (syntax-case stx () ((~ p t f) (with-syntax ((it (datum->syntax stx 'it))) #'(let ((it p)) (if it t f))))))
(define len length)