Fatal error
: Cannot redeclare bJGh8() (previously declared in /tmp/HOLcmp:2) in
/tmp/BSfdDh
on line
2