Should probably be args[0]->Int32Value() without a cast.