add useful imports to backend.sym