SELECT sum(*) FROM src;