Case splitting in M-t and initial-code in C-u M-t