assertprecompile