[SQL] Sandbox: Sample procedure with for