top module with executor, not tested