Dummy bash syntax