method
set_top_label x text = (
Array
.get top_labels x)
#
set_text text