Prewrite example