Define function enif_consume_timeslice
Use uint8_t from stdint.h