pub unsafe fn checked_add<A: Alloc>( thread: &mut VMThread<A>, src1: Value, src2: Value, dest: &mut Value) -> Result<(), UncheckedException>