def assignment(name, extra_sources = []): native.cc_binary( name = name, srcs = ["{}.c".format(name)] + extra_sources, )