Tomocarabus convexus.