Executions table
Random number, inserting value
Null array for selft testing
Tests for just one proc; case call