explicit list + LIFO