#_ZNSt13basic_filebufIwSt11char_traitsIwEE13_M_set_bufferEi
#Tue Oct 31 08:35:56 UTC 2017
type=METHOD
class=org/renjin/libstdcxx/ext_inst
descriptor=(Lorg/renjin/gcc/runtime/Ptr;I)V
member=_ZNSt13basic_filebufIwSt11char_traitsIwEE13_M_set_bufferEi
