typedef char u8; // line a

u8 char2u8(char t) {
  return (char)t;
}