$ type time
time is a shell keyword
$ time (echo one; echo two; echo three)
one
two
three
なぜなんだー。G13型トラクター求む。