A minimal language to prototype HLS algorithms