#include #include "assert.h" int main() { char x; char y; assert_disjoint(&x, &y); return 0; }