const a_getterinfo: JSJitInfo;