The CRIS programming language