An empty Basic module.