const counter_increment_setterinfo: JSJitInfo;