// Termina con el código de salida 7 para verlo con `echo $?`.
#include <stdio.h>

int main(void) {
    printf("Terminó con el código 7\n");
    return 7;
}