insertions compilation