読み込みファイルから Integer として返します。 ReadInteger()と似ていますが、リソースを引数として取る点が違います。このリソースは AllocateResource()で作成する必要があります。
readIntegerRes ( file As User ) As Integer