ADD: test file
FIX: compile with g++ too
UPD: c -> c++
FIX: options for prop2code
ADD: init; resets all default values