export function output(text: string) {
  console.log(text);
}