/testsuite/bsc.syntax/bsv05/import-foreign/