0025_assign.c:8.2-9.0: [ z in [5;13] ]
