Bnfc files