Add zekamashi-specific file
Add stub phi-eliminator