.attribute arch, "rv64ic"
.option arch, +d2p0, -c
.option arch, rv32ic