<rtc>: Add comments.
<tmp105>: Adding support of Klee in the Linux model.
<ethoc>: Add guard to expose the bug.