binding: rewrite