doit4state compilation