Using Jacks def_library macro