added header declarations for encoding