A minimal language for HLS research