(define (entry-point)
  (or (and (cheap-pre-check 'foo 'bar)
           (expensive-calculation 'baz 'moo))
      (list #f 'foobar)))