output_int
Classes 
Empty_int$
List_int$
NotEmpty_int$