Builtins.Pattern_Matching_Assignment_Failure(3kaya) on Linux

The text 0be0c6bddcb1, as Debian 7 (Wheezy) shipped it.

Pattern matching assignment failed