assets precompiled in chap 7.4