vrp-min-max-2.c 385 Bytes