Integration.Hack
val capture : prog:string -> args:string list -> unit
val location_of_class_db : Sqlite3.db -> class_name:string -> Sqlite3.Rc.t * string list
val location_of_class : naming_table:string -> class_name:string -> Sqlite3.Rc.t * string list