module ABNF