## loading a module

(replace module with the module filename)

```bash
checkmodule -m -o module.mod module.te
semodule_package -o module.pp -m module.mod
semodule -i module.pp
```