splint cli syntax