HeaderExtension, CodeExtension and initBoardHeader unhardcoded.