with Not_found->"/usr/local/share/coccinelle"
let std_iso = ref (Filename.concat path "standard.iso")
let std_h = ref (Filename.concat path "standard.h")
with Not_found->"/usr/local/share/coccinelle"
let std_iso = ref (Filename.concat path "standard.iso")
let std_h = ref (Filename.concat path "standard.h")