XXX: define SET_GPIO()