Add missing symbols to the xlator.h