module RBI::Rewriters