SLASH'EM 0.0.7E7F2/dothrow.c