burritos/test_programs/riscv_instructions/simple_arithmetics/unsigned_multiplication.c

// EXPECTS TWO VARIABLES WITH A VALUE OF UNSIGNED 2
void main() {
    unsigned int x = 1;
    unsigned int y = 2;
    x = x * y;
}