Sketching built-in modules