s/\<Desk_Wimp_e/Desk_Wimp_/g
s/\<Desk_Wimp_E/Desk_Wimp_/g

s/\<Desk_Desk_/Desk_/g

s/\<Desk_size_t\>/size_t/g

s/\<Desk_jmp_buf\>/jmp_buf/g

s/\<Desk_va_list\>/va_list/g
s/\<Desk_va_start\>/va_start/g
s/\<Desk_va_end\>/va_end/g

s/\<Desk_no_check_stack\>/no_check_stack/g
