Some debugging in ABCD