added syntax for input/output; no semantics