unused in mysql-cluster-7.2 (hangover from mysql-5.5 fork)