A simple 2D platform engine in OpenTK