The Gobo compiler generates the following C code, regardless of the letter-case of the arguments:

/* AA.f */
void T21f2(T0* C, T6 a1, T6 a2)
{
if (a1 == a2) {} ;
}