Generate [return 0] for main + small refactoring.

1 job for ci/main_ret0 in 15 minutes and 24 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.13.2 #138704
fp

00:15:24