// BUG: Incorrect instantiation of module