public static int main () {
    int foo[] = new int[100];
    message ("%d", foo.length);
    return 0;
}