avestax32とmigemoで動くね。crt+sとかの挙動がなんか微妙だけど。