Basiliskは64bitでSerpentは32bitという違いなの?