That's more than the 12 people who were actually executed.
The hard part is actually executing the thing you've thought of.
There's the front office where the traders actually execute the trade.
When the time comes to actually execute such a transaction, a function is used.
During the development phase, plans from previous steps are actually executed.
In all, of the near 2000 people who received the death sentence from the courts, less than 800 were actually executed.
A good, fast interpreter can actually execute some of the data that it's reading.
This command is given just before the orders to actually execute the turn.
There are no statistics available on the number of innocent people who were actually executed.
Whether or not Luis was actually executed at this time during the war is uncertain.