WIP: compilation is killed before the end