plan-f: module numbers added