export fn entry(x: u8, y: u8) u8 {
    return x << y;
}

// error
//
// :2:17: error: expected type 'u3', found 'u8'
// :2:17: note: unsigned 3-bit int cannot represent all possible unsigned 8-bit values
