__Full is defined just a few lines above