properly executing module body