internal public for 4-2-stable