static inline char *getstring(void)
{
  return "hello";
}