module tangotests.switch1; void main() { switch(0) { default: } }