use <../external_parts.scad> sdcard_access_port();