José Carlos Joaquim: Anatomy of a Bug