(module Core_int32)