CODE: Formatting for do_alist