Primitive procedure 'list'