__view_set((0 << 0), 0, 0)
__view_set((1 << 0), 0, 0)