There are some places, such as in `interrupt.rs`, where we could use some functions in the util module or even put there some functions.