In the UK, there is now some police advice in a video on what to do in the unlikely event of getting caught up in a terrorist attack. The first tip is to run, the next is to hide, phone the police if you can and say where you are, and wait for the armed police to turn up, and when they do, try not to get shot by them by waving your hands around too quickly.
For those unfamiliar with hiding from armed killers, the video suggests.
“The best hiding place with protection from gunfire will have a substantial physical barrier between you and the attacker.”
Another handy tip is:
“Insist others come with you, but don’t let their indecision slow you down,” the video says.
A fuller version of the video is here.