also works if test-case.scm includes (use bindings)