2013-11-22-22.43.25: src/lib/compiler/back/top/highcode/highcode-baseops.api:  Baseop:  GET_VECSLOT_NUMERIC_CONTENTS, SET_VECSLOT_TO_NUMERIC_VALUE:  For readability renamed  checked  to  checkbounds.