void sf_push(sf_stack s, void *data, int type) /*< push data into stack (requires unique data for each push) >*/ { ... }