Symbol: sym_typecheck