more compiled constraints