Add section on libcall as per @aktau