I like the inline asm sanitizer; probably could be extracted out of Fil-C.