Symbol: init_fplus