Bug#871815: bug opened upstream

[Roberto Oliveira]

It also breaks in asn1c master branch, so I opened a bug upstream at:
https://github.com/vlm/asn1c/issues/179