gnu-contract-featured