Added pseudocode for get_argument().