Two mechanisms for dynamic type checks · HackerTrans