set_field c kernel file