inf: Handle open
Add assertions of Pervasives