adamc@1044: fun main $ = 0