Following herbie_bug.voc816