Builtins.Getting_Tag_From_Non_Union(3kaya) on Linux

The text 10ca85204c38, as Debian 7 (Wheezy) shipped it.

Tried to do a constructor case statement wrongly