More debugging output (programs and kernels)