/lib/Bitcode/NaCl/Reader/