plain: 7
sized s32: 4
sized s64: 8
taking explicit: 42
taking inferred: 99
