default world %host {
    record %S1 {
        %a: list<list<list<list<s32>>>>,
        %b: s32,
        %ptr: u32 /* pointer to <u32  pointer to <u32  pointer to <u32  pointer to <()> > > > */,
        %c: float64,
        %funcptr: u32 /* pointer to <func ( s32,  float64,  u32  pointer to <list<s32>> )> */,
    }
}
