contract-catchswitch.ll 2.53 KB