NREADERS
int ctrl_ctrl[NREADERS];
int ctrl_ns[NREADERS];
int ns_ns[NREADERS];
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
for (size_t i = 0; i < NREADERS; i++) {
multi_unlock_all(int ctrl_ctrl[NREADERS], int ctrl_ns[NREADERS],
int ns_ns[NREADERS])
for (uint32_t i = 0; i < NREADERS; i++) {