Please add a comment that this value is for Dolphin-internal usage.