[fixup later] Implement os_file_get_size