These are already defined in case you have drizzle extension in PHP...