K update: Updated the semantics to be compatible with K version latest-33-g7f8903d . Anything works except reading from stdin. An appropriate issue was filled in.