contract test { function f() pure public returns(uint) { return 2 << 80; } }