Running examples at the source level: FAILED with 0

[catalin-hritcu]

Is this expected output for ./run_extracted_examples.sh --force-extraction?

*** Running examples at the source level ***
Output of run_source_default_init_buffer.ml:
42
Output of run_source_factorial.ml:
FAILED with 0
Output of run_source_identity.ml:
FAILED with 0
Output of run_source_increment.ml:
FAILED with 0
Output of run_source_nested_calls.ml:
FAILED with 0
*** Examples compiled at the intermediate level ***
Output of run_intermediate_compiled_default_init_buffer.ml:
42
Output of run_intermediate_compiled_factorial.ml:
FAILED with 1
Output of run_intermediate_compiled_identity.ml:
FAILED with 1
Output of run_intermediate_compiled_increment.ml:
FAILED with 1
Output of run_intermediate_compiled_nested_calls.ml:
FAILED with 1
*** Examples compiled at the SFI level ***