I haven't thought deeply about it, but should this be in `os/memory.c`?