[{"constant":false,"inputs":[{"internalType":"contract DSValue","name":"value","type":"address"},{"internalType":"bytes32","name":"wut","type":"bytes32"}],"name":"doPoke","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"contract DSValue","name":"value","type":"address"}],"name":"doVoid","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]