Added header for debugging helpers