Strange interaction between `remove module` and extraction to C
Currently, when extracting module
fxp.Fxp to C, the resulting files
fxp.c are basically empty. So, I tried adding
remove module to the corresponding section of
drivers/c.drv. Unfortunately, this breaks the extraction of
examples/multiprecision/sqrt.mlw to C, as variables of type
fxp are then ignored (silently!).