struct-ptr-test, with null check, null input enabled

(call (entry__struct_ptr_test))
(lisp-message "p before test: 0")
(lisp-message "i1 before test: 0")
(lisp-message "i2 before test: 0")
(pc-changed 0x4004D6:64u) /home/Jon/bt3/struct_ptr_test.c:7 void struct_ptr_test(struct two_ints *ptr) {
(call (struct_ptr_test 0))
(pc-changed 0x4004D7:64u) /home/Jon/bt3/struct_ptr_test.c:7 void struct_ptr_test(struct two_ints *ptr) {
(pc-changed 0x4004DA:64u) /home/Jon/bt3/struct_ptr_test.c:7 void struct_ptr_test(struct two_ints *ptr) {
(pc-changed 0x4004DE:64u) /home/Jon/bt3/struct_ptr_test.c:8   if (ptr == 0)
(pc-changed 0x4004E3:64u) /home/Jon/bt3/struct_ptr_test.c:8   if (ptr == 0)
(pc-changed 0x400507:64u) /home/Jon/bt3/struct_ptr_test.c:9     return;
(pc-changed 0x400508:64u) /home/Jon/bt3/struct_ptr_test.c:12 }
(pc-changed 0x400509:64u) /home/Jon/bt3/struct_ptr_test.c:12 }
(call-return (struct_ptr_test 0))
(lisp-message "p after invoke: 0")
(lisp-message "i1 after invoke: 0")
(lisp-message "i2 after invoke: 0")
(call-return (entry__struct_ptr_test 0))
(exception Halt)
(exception Halt)
(call (entry__struct_ptr_test))
(lisp-message "p before test: 2")
(lisp-message "i1 before test: 2")
(lisp-message "i2 before test: 2")
(call-return (entry__struct_ptr_test 0))
(exception Halt)
(exception Halt)
(call (entry__struct_ptr_test))
(lisp-message "p before test: 0xD002")
(lisp-message "i1 before test: 0xD002")
(lisp-message "i2 before test: 0xD002")
(lisp-message "Writing i1 (0xD002) to 0xD002")
(exception "Page fault at 0xD002")
(lisp-message "Writing i2 (0xD002) to 0xD006")
(pc-changed 0x4004D6:64u) /home/Jon/bt3/struct_ptr_test.c:7 void struct_ptr_test(struct two_ints *ptr) {
(call (struct_ptr_test 0xD002))
(pc-changed 0x4004D7:64u) /home/Jon/bt3/struct_ptr_test.c:7 void struct_ptr_test(struct two_ints *ptr) {
(pc-changed 0x4004DA:64u) /home/Jon/bt3/struct_ptr_test.c:7 void struct_ptr_test(struct two_ints *ptr) {
(pc-changed 0x4004DE:64u) /home/Jon/bt3/struct_ptr_test.c:8   if (ptr == 0)
(pc-changed 0x4004E3:64u) /home/Jon/bt3/struct_ptr_test.c:8   if (ptr == 0)
(pc-changed 0x4004E5:64u) /home/Jon/bt3/struct_ptr_test.c:10   (ptr->a)++;
(pc-changed 0x4004E9:64u) /home/Jon/bt3/struct_ptr_test.c:10   (ptr->a)++;
(pc-changed 0x4004EB:64u) /home/Jon/bt3/struct_ptr_test.c:10   (ptr->a)++;
(pc-changed 0x4004EE:64u) /home/Jon/bt3/struct_ptr_test.c:10   (ptr->a)++;
(pc-changed 0x4004F2:64u) /home/Jon/bt3/struct_ptr_test.c:10   (ptr->a)++;
(pc-changed 0x4004F4:64u) /home/Jon/bt3/struct_ptr_test.c:11   (ptr->b)++;
(pc-changed 0x4004F8:64u) /home/Jon/bt3/struct_ptr_test.c:11   (ptr->b)++;
(pc-changed 0x4004FB:64u) /home/Jon/bt3/struct_ptr_test.c:11   (ptr->b)++;
(pc-changed 0x4004FE:64u) /home/Jon/bt3/struct_ptr_test.c:11   (ptr->b)++;
(pc-changed 0x400502:64u) /home/Jon/bt3/struct_ptr_test.c:11   (ptr->b)++;
(pc-changed 0x400505:64u) /home/Jon/bt3/struct_ptr_test.c:11   (ptr->b)++;
(pc-changed 0x400508:64u) /home/Jon/bt3/struct_ptr_test.c:12 }
(pc-changed 0x400509:64u) /home/Jon/bt3/struct_ptr_test.c:12 }
(call-return (struct_ptr_test 0xD002))
(lisp-message "p after invoke: 0xD002")
(lisp-message "i1 after invoke: 0xD002")
(lisp-message "i2 after invoke: 0xD002")
(call-return (entry__struct_ptr_test 0))
(exception Halt)
(exception Halt)
(call (entry__struct_ptr_test))
(lisp-message "p before test: 0x8000000000005002")
(lisp-message "i1 before test: 0x8000000000005002")
(lisp-message "i2 before test: 0x8000000000005002")
(call-return (entry__struct_ptr_test 0))
(exception Halt)
(exception Halt)
(exception Halt)