list_spec (list functions we have so far)