// BUG: Incorrect sensitivity list