1. Translate the following C code to RISC-V assembly (assume a, b, c are in x5, x6, x7): int a = 12; int b = 42; int c; c = b++ a; printf("%d", c);