GPipe-1.3.2: A functional graphics API for programmable GPUs