tour5: HunOL vs. shell-script