(define (ho)
  (print that))