Inline asn1_proto.h since the API is stable and public.