1var fwd_2extract_8hpp = 2[ 3 [ "extract", "fwd_2extract_8hpp.html#ga307479a91a21b7ab06a2bc746b003dcc", null ] 4];