procedure main()
  shared count := 0
  input const thread_count
  create_threads(thread_count, secondary)
end procedure

procedure secondary()
  // Critical section
  count := count + 1
end procedure