Merge remote-tracking branch 'lucas/ropes'
[nit.git] / tests / sav / module_simple.sav