Adds the reentrant kernel