Puppet for int