The ABC Programming Language