Unmasking <hardened-sources-3.12