define KDF_BASE 20131128 alloc libstate