Module ThreadCreation.DirtyExitNames

val name : string
val true_name : string
val false_name : string