asn1_der_coding(3) on Linux

The text 407c19aa7f7f, as Debian 8 (Jessie) shipped it.

API function

asn1_der_coding(3) on Linux now