let
error_exec com =
"Error while executing the following command:\n"
^com