void printer_from_other_file() {
    stdout.printf("Calling from other file");
}