Blast.xggc: [verified]