Update the reference interpreter: add always flush, and fix compliance to standard