const align_setterinfo: JSJitInfo;