A H.264 decoder