Functionality Of A Program Definition