为什么此Ada内存数据导出代码不起作用？

Question

我是Ada的新手，所以这是一个非常基本的问题。我看了这个Ada教程：https://www.youtube.com/watch?v=szh8eILpPEw&index=17&list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o

在5:11分钟，有一个代码将Ada内存对象导出为C代码。该守则之所以有效，是有原因的。 daccess-ods.un.org daccess-ods.un.org C代码中的空白是否缺失？ 顶部的Ada代码是.ads吗？

以下是代码：

ADACODE
with Interfaces.C
package ALib is
     The_Length : constant Interfaces.C.size_t := 80 with
              Convention      => C,
              Export          => True,
              External_Name   => "theLength":
end ALib;

CCODE
#include <stdio.h>
extern size_t theLength;
[ ... ]
printf("%d\n", theLength);

我正在使用GPS