PUSH31 by Kurashiki has been implemented.