rewrite in OO