void present_init (int in);
int present (char *to_be_removed_heap_buf, int to_be_removed_const_data, int to_be_removed_dirty_data);
void present_init (int in);
int present (char *to_be_removed_heap_buf, int to_be_removed_const_data, int to_be_removed_dirty_data);