v8.4: A tentative fix for bugs #3723 and #3787 (reinitialization of
camlp5 empty levels).