Follow-up to commit 3b68dd5. A default value of 0 for k in main
program unit `test_get_dispatch_snap` now makes sense.