Failed Checks: misaligned pointer dereference: address must be a multiple of its type's alignment
Failed Checks: assertion failed: unsafe { *p1 != 0 }