NLVM (Explicit)

YES & CIAO (Explicit)