this depends on the bitcode reader, since it is using it.