/testsuite/bsc.evaluator/prims/static_eval/