`assert(args[0]->IsInt32())`?