var a01088 = [ [ "__is_null_pointer", "a01088.html#afe55ce10459302aba0bc9a9dacd47cb4", null ], [ "__is_null_pointer", "a01088.html#a1896baf4e935dad8449bb3ec73a07f3d", null ], [ "__is_null_pointer", "a01088.html#a1a1e75fe646c4fa1ca53fbcce3386aa4", null ] ];