First type check code