cvex main()
{
    // Given an array of strings...
    string colors[] = {"Red", "Green", "Blue", "Orange", "Violet", "Indigo"};

    // Create an array with the corresponding lengths
    int[] lengths = {};
    foreach (string name; colors) {
        push(lengths, len(name));
    }

    // Sort the lengths and return an array containing the new ordering
    int[] ordering = argsort(lengths);

    // Get the array of color names but sorted by name length
    string colors_by_len[] = reorder(colors, ordering);

    printf("%s\n", colors_by_len);
}

// Prints {Red, Blue, Green, Orange, Violet, Indigo}