(module dbc-supplier-test (add)
	(import scheme chicken)
	(use dbc)
	(use (prefix %dbc-supplier-test %))
	
	(contract-check-level 2)
	(init-dbc)
	
	(define-with-contract add
		(contract (result)
			((_ a b) (and (number? a) (number? b)) (number? result))
		)
		%add
	)
	
	(exit-dbc-with dbc-supplier-test)
)