add python le32 bitcode file + instructions