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