interpreter prototypes in rpython