(module GtkRangeProps.ProgressBar)