(
module
Core_weak
)