DROP DATABASE MYSQL -- does not drop SP with lower-case-table-names=0

DROP FUNCTION IF EXISTS MYSQL.f1;

CREATE OR REPLACE DATABASE MYSQL; -- Upper case letters

CREATE FUNCTION MYSQL.f1() RETURNS INT RETURN 1;

DROP DATABASE MYSQL;

SELECT db, name, body FROM mysql.proc WHERE db=BINARY 'MYSQL' AND name='f1';

+-------+------+----------+

| db    | name | body     |

+-------+------+----------+

| MYSQL | f1   | RETURN 1 |

+-------+------+----------+