いや自分で書くものはx0, x1が普通では?