add tests for high level interface
add counter
add counter
allow return value
add return test
booleans are really integers