(declare (block) (standard-bindings) (extended-bindings))
(begin
  (begin
    (load-module "gerbil/core/contract~TypeCast")
    (load-module "gerbil/core/contract~TypeReference")
    (load-module "gerbil/core/contract~Using"))
  (begin))
