Fix compile error when fpoptimizer is disabled
Enable support for more Value_t types
Fix stack recover bug, add test/example