0025_assign.c:8.2-9.0: [ z in top ]
