[Hat] Add debug printing for resResult in hat-c.c