Friendlier accumulator table for native compute w.r.t. naked pointers.
Friendlier accumulator table for native compute w.r.t. naked pointers.

Instead of unconditionally allocating the rel accu table at the process startup,
we delay its initialization until the first rel accu is generated. This way we
do not create naked pointers if the native compiler is never called.

ejgallego/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,coq/coq,ejgallego/coq,ejgallego/coq,Zimmi48/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,Zimmi48/coq