issue_00865 - test failed (should be ok after merge
https://github.com/YosysHQ/yosys/pull/866)