I wonder how one debugs these things properly