https://stackoverflow.com/questions/75380189/how-to-make-a-variable-with-bitcode