Utility code for se-interpreter.