A snack bar called Café Santo Ildefonso.