Renamed to BefunUtils