String skinContractDefName(String section) => 'contract${section[0].toUpperCase()}${section.substring(1)}';