9024 /* pointer to last available buf char */