terser interface for Behavior (removed mk_ prefixes)
changed the implementation of Behavior.Fut