(executable
 (name config)
 (modules config)
 (libraries mirage))

(cram
 (package mirage)
 (deps config.exe))
