Implementations of concurrent bank accounts