Extracting LLVM Intermediate Representation from Agda