Builtins.Pattern_Matching_Assignment_Failure(3kaya) on Linux

The text 64b76d360cf1, as Debian 6.0 (Squeeze) shipped it.

Pattern matching assignment failed