cc_binary(
    name = "grencez_tok5",
    srcs = ["grencez_tok5.c"],
)