def pov_array(arr):
    """Convert an array to POV-Ray format, e.g.
       (0, 1, 2, 3) --> array[4] {0, 1, 2, 3}
    """
    return "array[{}] {{{}}}".format(len(arr), ", ".join(str(x) for x in arr))