This should probably go in `internal.h` instead.