// counter.c — una sola línea, para ver en qué instrucciones se convierte.
//
// make asm   genera counter-rv.s con el compilador de RISC-V del contenedor.
// counter++ no es una instrucción: es cargar (ld), sumar (addi) y guardar (sd).
volatile long counter;

void increment(void) {
    counter++;
}