some basic tests for fn-ok, bk-ok
add two simple tests for interaction between borrowing and moving