$ /usr/bin/time -f 2>&1 "\n%E" ./pin_checker <<< 00000000 | tail(1) -n1 0:00.13
Before a command is executed, its input and output may be redirected using a special notation interpreted
by  the  shell.   Redirection  may  also  be used to open and close files for the current shell execution
environment.  The following redirection operators may precede or appear anywhere within a simple  command
or may follow a command.  Redirections are processed in the order they appear, from left to right.

Redirecting Output
    Redirection of output causes the file whose name results from the expansion of  word  to  be  opened  for
    writing  on  file descriptor n, or the standard output (file descriptor 1) if n is not specified.  If the
    file does not exist it is created; if it does exist it is truncated to zero size.

    The general format for redirecting output is:

           [n]>word

    If the redirection operator is >, and the noclobber option to the  set  builtin  has  been  enabled,  the
    redirection  will  fail if the file whose name results from the expansion of word exists and is a regular
    file.  If the redirection operator is >|, or the redirection operator is > and the  noclobber  option  to
    the  set  builtin  command  is  not  enabled, the redirection is attempted even if the file named by word
    exists.
Before a command is executed, its input and output may be redirected using a special notation interpreted
by  the  shell.   Redirection  may  also  be used to open and close files for the current shell execution
environment.  The following redirection operators may precede or appear anywhere within a simple  command
or may follow a command.  Redirections are processed in the order they appear, from left to right.

Here Documents
    This type of redirection instructs the shell  to  read  input  from  the  current  source  until  a  line
    containing  only delimiter (with no trailing blanks) is seen.  All of the lines read up to that point are
    then used as the standard input for a command.

    The format of here-documents is:

           <<[-]word
                   here-document
           delimiter

    No parameter expansion, command substitution, arithmetic expansion, or pathname expansion is performed on
    word.   If  any  characters in word are quoted, the delimiter is the result of quote removal on word, and
    the lines in the here-document are not expanded.  If word is unquoted, all lines of the here-document are
    subjected  to  parameter  expansion, command substitution, and arithmetic expansion.  In the latter case,
    the character sequence \<newline> is ignored, and \ must be used to quote the characters \, $, and `.

    If the redirection operator is <<-, then all leading tab characters are stripped from input lines and the
    line  containing  delimiter.  This allows here-documents within shell scripts to be indented in a natural
    fashion.

Here Strings
    A variant of here documents, the format is:

           <<<word

    The word is expanded and supplied to the command on its standard input.
Pipelines
    A  pipeline is a sequence of one or more commands separated by one of the control operators | or |&.  The
    format for a pipeline is:

           [time [-p]] [ ! ] command [ [||&] command2 ... ]

    The standard output of command is connected  via  a  pipe  to  the  standard  input  of  command2.   This
    connection  is performed before any redirections specified by the command (see REDIRECTION below).  If |&
    is used, the standard error of command is connected to command2's standard input through the pipe; it  is
    shorthand  for  2>&1  |.   This  implicit  redirection  of  the  standard  error  is  performed after any
    redirections specified by the command.

    The return status of a pipeline is the exit status of the last command, unless  the  pipefail  option  is
    enabled.   If  pipefail  is  enabled,  the  pipeline's return status is the value of the last (rightmost)
    command to exit with a non-zero status, or zero if all commands exit successfully.  If the reserved  word
    !   precedes  a  pipeline, the exit status of that pipeline is the logical negation of the exit status as
    described above.  The shell waits for all commands in the pipeline to terminate before returning a value.

    If the time reserved word precedes a pipeline, the elapsed as well as user and system  time  consumed  by
    its execution are reported when the pipeline terminates.  The -p option changes the output format to that
    specified by POSIX.  When the shell is in posix mode, it does not recognize time as a  reserved  word  if
    the  next  token begins with a `-'.  The TIMEFORMAT variable may be set to a format string that specifies
    how the timing information should be displayed; see the description of TIMEFORMAT under  Shell  Variables
    below.

    When the shell is in posix mode, time may be followed by a newline.  In this case, the shell displays the
    total user and system time consumed by the shell and its children.  The TIMEFORMAT variable may  be  used
    to specify the format of the time information.

    Each command in a pipeline is executed as a separate process (i.e., in a subshell).
output the last part of files
-n, --lines=K
       output  the  last  K lines, instead of the last 10; or use -n +K to output lines starting with the
       Kth
Print  the  last  10 lines of each FILE to standard output.  With more than one FILE, precede each with a
header giving the file name.  With no FILE, or when FILE is -, read standard input.
source manpages: tail