Rename for consistency.
Memory mapping wrapper for Branch_Check.
Top-level module, still unfinished.