Export Value.(kind,with_kind,get)
Reorder function arguments
Fix input for ints
Store atomic to-data function directly