Files
solidity/test/cmdlineTests/standard_default_success