File: Platform implementations