/* NB: public for 5312 use */