$GLOBAL_AHEADER$

Happy Halloween