    class
    	FIXED_INTEGER_SET

    General
    	cluster: lex
    	description: "Sets of integers with a finite number of items"
    	create: boolean_set_make, make

    Ancestors
    	BOOL_STRING

    Queries
    	count: INTEGER_32
    	has (i: INTEGER_32): BOOLEAN
    	infix "@" (i: INTEGER_32): BOOLEAN
    	infix "and" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET
    	infix "or" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET
    	infix "xor" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET
    	is_empty: BOOLEAN
    	item alias "[]" (i: INTEGER_32): BOOLEAN
    	largest: INTEGER_32
    	left_shifted (n: INTEGER_32): [like Current] FIXED_INTEGER_SET
    	next (p: INTEGER_32): INTEGER_32
    	prefix "not": [like Current] FIXED_INTEGER_SET
    	right_shifted (n: INTEGER_32): [like Current] FIXED_INTEGER_SET
    	smallest: INTEGER_32
    	to_c: ANY
    	valid_index (i: INTEGER_32): BOOLEAN

    Commands
    	all_false
    	all_true
    	bool_string_put (v: [like item] BOOLEAN; i: INTEGER_32)
    	boolean_set_make (n: INTEGER_32)
    	make (n: INTEGER_32)
    	print
    	put (i: INTEGER_32)
    	remove (i: INTEGER_32)

    Constraints
    	positive size