File status of any file.
Loop diversion enumerator
Medium variable to check reference status.
Sanity type to branch sanity check.