#include <stdio.h>

#include "ImC/imc_extension.h"

int __imc_get_loop_pass_count() {
    // printf("__imc_get_loop_pass_count() called\r\n");
    return 10;
}