integer modules
assertions