Builtins.Getting_Tag_From_Non_Union(3kaya) on Linux

The text 3239f3e2b35b, as Debian 5.0 (Lenny) shipped it.

Tried to do a constructor case statement wrongly