splint CLI syntax