Standard platform modules belonging to the Ceylon SDK