# This file (kernelvars) is obsolete in 10.0.
