 TYPE
    fdt$push_count = 0 .. fdc$maximum_pushes;

*copyc fdc$maximum_pushes
