Small nitpick: Could we have this conform to the other header guard style: ANTIOCH_FILENAME_H?