Printing extraction result to stdout