Hmm. Well, at 4 MHz, that's about 250 microseconds; at 20 MHz, about 50. The oscillator spec gives a nominal startup time of 10 milliseconds. Perhaps I should put an RC circuit on the /MCLR pin.