* Helper method to provide the given field number to the given
* field manager.
*/
void provideField(PersistenceCapable pc, FieldManager store, int field) {
if (pc != null) {
FieldManager beforeFM = _fm;
_fm = store;
pc.pcProvideField(field);
// Retaining original FM because of the possibility of reentrant calls
if (beforeFM != null) _fm = beforeFM;
}