ychr-0.1.0.0: test/golden/operator_export_import/zero.goal

opmain:run(0, 7, R)