.attribute arch, "rv32i"