with your patch we have:
native: 10598  vs. 9076 (hello world riot)
msb-430h: 7706 vs. 4986 (hello world riot)

nice!