Tight variable packing in Solidity