L4 rewrite