It was even banned internally for a couple of years and Armstrong left Ericsson as a result.

I know it gets some use within Ericsson for running quickcheck tests against C-code.