GET_PORT_CMT command in KAREL

It would appear that I can't use GET_PORT_CMT on robot digital inputs/outputs or flags. Is this correct or am I doing something wrong? It's strange because SET_PORT_CMT works fine for those port types.

13030

Nevermind, I found my problem and it was unrelated. The command does work for robot I/O and flags.