The text 44dfe20fe0c7, as Debian 7 (Wheezy) shipped it.
Is run-time checking enabled?
Builtins.runTimeChecking(3kaya) on Linux now
