It should be a user-level module