Symplectic_bilinear_form loading ...