with debug info