cleaned module "unibo_allocation"