get_min_sigframe_size_32
unsigned long get_min_sigframe_size_32(void);
return get_min_sigframe_size_32();