check in slice compiler