const counter_increment_getterinfo: JSJitInfo;