StormC 64-bit arithmetic bug?

[Minuous]

I seem to have found a bug in StormC? Try the following in "StormC 3" mode:

void main(void)
{   long long number;

    number = 10;
    number *= 2;
    printf("%Ld!\n", number);
}

The answer should be 20 but is not...!

On a related subject, does anyone have documentation for the undocumented AG2Index and GenDictionaries tools supplied with StormC 4?

[Minuous]

I'm actually using StormC 4.0, but with the StormC 3 compiler engine. In ANSI C mode, not C++, by the way.

And %Ld is correct for 64-bit signed decimals.