Bitcode files for NAS programs (include debugging information).