Add WKB encoding