opaqu action creat uninterpret action todo auto gener method stub 