fixed require: "aa", "bb" and added examples for labeled modules