shared count := 0
shared multiplex

main:
	upper_limit := read_integer()
	multiplex := semaphore(upper_limit)

	thread_count := read_integer()
	create_thread(secondary, thread_count)

secondary:
	wait(multiplex)
	// Critical section
	count := count + 1
	signal(multiplex)