Globally Available Functions in Solidity