hypothetical
terminated
foreign
villager
constructor
payable