Init files with KASSERT