CS_2110@Cornell macro for assertion debugging