Precompiled header proposal