const coords_getterinfo: JSJitInfo;