document padic internals