Are `debug` and `devel` actually necessary to make the code pass?