Which 4 pixels should we pick if the red dot lays exactly at the location of a black dot, let's say u11?

Could be an implementation specific detail, but perhaps it would require that you take the 4 pixels directly up/down/left/right of u11.