silver
silver copied to clipboard
Test for Silicon issue 410
Requires https://github.com/viperproject/silicon/pull/899 to be merged first.