let cut f = fprintf f "@ "