fixing segfault on compilation of test_int_basic