I assume the second expr here has to be compile-time evaluable to a uint?