compilation encoding