Got fat pointer return types working
Added a testcase for a trivial function that just returns its parameter (which is a pointer)