Add more MAGMA wrappers.