full coverage of instructions
add (and fix) tests for constants