modifying BufferedInputStream_SynchronizedFill.mop to not use ptcaret anymore