(module info (lib "infotab.ss" "setup") (define name "MzLib"))