cert-pos47-c

The cert-pos47-c check is an alias, please see concurrency-thread-canceltype-asynchronous for more information.