# src/lens_functions.php