The C1 and C2 compiler buffer sizess have types uint and int respectively. This is inconsistent. Since sizes are generally non-negative, they should both be uint.