A verifiable function can only throw or catch pointers to reference types, so value types must be boxed before throwing.

• 可验证函数只能引发或捕捉指向引用类型的指针,因此在引发前必须将值类型装箱。