then the code moves to void down
All correct, except for that very last bit. It is function down, not void down.