Read some variables from karel - R30iB Fanuc controller

Hello, these variables are accessable through menu -> Next -> status -> Stop Signal, on a R30iB fanuc controller. Does anybody know how to read them from karel ?

Thanks in advance.

Thanks for the answer. Aslo, i found out that when you push an ESTOP button, SI[0] go from True to False. You can read it from karel with OPIN[0].

You can find the rest in I/O system, karel documentation.