• dave : ryujin
• get_stride_size : ryujin
• have_distributed_triangulation : ryujin
• invalid_pull_back_coordinate : ryujin::internal