ipname.v generator (from java model)