assert precompile