V0.3.0, rec bindings