add ATOMIC-ADD built-in function