Do we need a `pass` in these empty defs?