Oops, printf-debugging ftw