Searched refs:push_body (Results 1 – 2 of 2) sorted by relevance
28 extern void push_body(const char *);414 push_body($1.body);425 push_body($1.body);427 push_body($4);
1689 void push_body(const char *s) in push_body() function