8c8
< % 'that' is a user-defined global variable worth thing(...).
---
> % 'that' is a user-defined global variable worth thing(int).
16d15
< 
20d18
< 
24c22
< % 'that' is a user-defined global variable worth thing(...).
---
> % 'that' is a user-defined global variable worth thing(int).
34d31
< 
