Builtins.Getting_Tag_From_Non_Union(3kaya) on Linux

The text 598d7c81cf38, as Debian 6.0 (Squeeze) shipped it.

Tried to do a constructor case statement wrongly