Manifestly supersymmetric M theory