[compiler/c] a fix for $Split