This comment should be at internal.h.