semant call (with bugs)