solidity/test/libsolidity/semanticTests/state/gasleft.sol