Convert identifiers to C standard

From Java style to C (for the heck of it)