method load ?filename () = let args = match filename with None -> [] | Some filename -> [sv_of_string filename] in call_method_void sv "load" args