fn change_pointer(
    pointer: &ThemedPointer,
    inner: &Inner,
    location: Location,
    serial: Option<u32>
)