We need to produce linking related sections in compilation. For now, we are attaching hard-coded libc to handle memref functions.