ExampleDB: Add listana, foldr, fix. Fix FFI name bug