Use `#[export]` instead of `#[global]`?

[Lysxia]

This migration is a bit painful because we also have to figure out what modules should reexport what other modules.