/* Note: a handy debug tool is:
show engine InnoDB status;
*/

