Debug for @kraft