df3184_race.c:6:72: warning: "/*" within comment [-Wcomment]
  * Exit side (the bug): short-lived children stat their own /proc/<pid>/*
                                                                         
BUILD_OK
debug.numvnodes: 41594
kern.maxvnodes: 109306
debug.auxrecovervnodes1: 0
debug.auxrecovervnodes2: 0
df3184_race.c:6:72: warning: "/*" within comment [-Wcomment]
  * Exit side (the bug): short-lived children stat their own /proc/<pid>/*
                                                                         
BUILD_OK