[src/reversible/variable.cpp] remember to return