x13ってメモリ32にいつになったらなるんだろうね。