input samples/temp/guix_bug/guix_bug.thconfig
