// Test the Short type
proc main()
{
    var i, a;
    i = Short(-1);
    "1. i = ", i, "; typeof(i) = ", ?? i, "\n";

    i = 3S;
    "2. i = ", i, "; typeof(i) = ", ?? i, "\n";

    i = 3S + 1S;
    "3. i = ", i, "; typeof(i) = ", ?? i, "\n";

    i = 3S + 1.;
    "4. i = ", i, "; typeof(i) = ", ?? i, "\n";

    a = [3S, 4S, 5S];
    "5. typeof(a) = ", ?? a, "\n";
    "6. a[0] = ", a[0], "; typeof(a[0]) = ", ?? a[0], "\n";
}