Extraction to C does not extract global variables

For example, the WhyML code

use mach.int.Int32
let g : int32 = 42
let main () : int32 = return g

is extracted to

#include <stdint.h>

int32_t main() {
  return g;
}

the declaration of g is missing