const coords_setterinfo: JSJitInfo;