Turned examples into proper test cases.
Fixed return check in binary
Added a test