pragma solidity ^0.5.0; // This file defines a library that can be used as well. library InnerLibrary { } // This name doesn't match its filename. contract Contract { uint public specialValue = 1337; }