Fri Jul 31 2020 CJava Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM Embedded in Academia