[wip] main almost empty
[bad] REsolve some problems when splitting