ibc i (IBCExtern n) f = return f { ibc_externs = n : ibc_externs f }
ibc i (IBCExtern n) f = return f { ibc_externs = n : ibc_externs f }
ibc i (IBCExtern n) f = return f { ibc_externs = n : ibc_externs f }