Well I'm now learning how to use the ROBOTC, today I worked on the encoder value.
I was trying to get the PID Control working but it seems not like it. I think I need to have gain (kp, ki and kd) but the ROBOTC doesn't support float int type. So now I'm thinking of the way to have gain with decimal without errors.