Burnside_ring loading ...