bug.ss
#lang scheme
(provide/contract [bug (-> integer?)])
(define (bug) #f)