abstract data type hello world algorithm