add_trait	require_a
implemented_traits	require_a
require_a	require_a
