type control (debuging)