These findings were consistent with the presence of lobar HPE in the absence of both Gas1 and Boc alleles. Here, BOC is linked to holoprosencephaly.