#nvrfail (Explicit)

#stuck (Explicit)