Emit assv-compatible alist