/test-suite/bugs/opened/

• ../
• 1773.v
• shouldnotfail