use standard posix `[`.