int_test, with null check

Jon@aria:~/bt3$ bap --run --primus-lisp-add=`pwd` --primus-lisp-load=entry-points --primus-print-obs=call,call-return,exception,segfault,assert-failure,pc-changed,lisp-message,segfault entry-point-tests.o --run-entry-points=entry__int_test --api-path=`pwd`/api --run-system=my:symbolic-taint-analyzer --log-dir=./log

(call (entry__int_test))
(pc-changed 0x400526:64u)
(call (int_test 0))
(pc-changed 0x400527:64u)
(pc-changed 0x40052A:64u)
(pc-changed 0x40052E:64u)
(pc-changed 0x400533:64u)
(pc-changed 0x400546:64u)
(pc-changed 0x400547:64u)
(pc-changed 0x400548:64u)
(call-return (int_test 0))
(call-return (entry__int_test 0))
(exception Halt)
(exception Halt)
(call (entry__int_test))
(pc-changed 0x400526:64u)
(call (int_test 0x3004))
(pc-changed 0x400527:64u)
(pc-changed 0x40052A:64u)
(pc-changed 0x40052E:64u)
(pc-changed 0x400533:64u)
(pc-changed 0x400535:64u)
(pc-changed 0x400539:64u)
(exception "Page fault at 0x3007")
(exception "Page fault at 0x3006")
(exception "Page fault at 0x3005")
(exception "Page fault at 0x3004")
(pc-changed 0x40053B:64u)
(pc-changed 0x40053E:64u)
(pc-changed 0x400542:64u)
(pc-changed 0x400544:64u)
(pc-changed 0x400547:64u)
(pc-changed 0x400548:64u)
(call-return (int_test 0x3004))
(call-return (entry__int_test 0))
(exception Halt)
(exception Halt)
(call (entry__int_test))
(pc-changed 0x400526:64u)
(call (int_test 0x8000000000001002))
(pc-changed 0x400527:64u)
(pc-changed 0x40052A:64u)
(pc-changed 0x40052E:64u)
(pc-changed 0x400533:64u)
(pc-changed 0x400535:64u)
(pc-changed 0x400539:64u)
(exception "Page fault at 0x8000000000001005")
(exception "Page fault at 0x8000000000001004")
(exception "Page fault at 0x8000000000001003")
(exception "Page fault at 0x8000000000001002")
(pc-changed 0x40053B:64u)
(pc-changed 0x40053E:64u)
(pc-changed 0x400542:64u)
(pc-changed 0x400544:64u)
(pc-changed 0x400547:64u)
(pc-changed 0x400548:64u)
(call-return (int_test 0x8000000000001002))
(call-return (entry__int_test 0))
(exception Halt)
(exception Halt)
(exception Halt)