a backend to ABT