Using bnfc-meta