c195531f8c506becb3cdb6d48e7235d9ba91d5ee
[mc1516pa.git] / modelchecker / tests / 1.vdt
1 *
2 $
3 @