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