main := ||: int {
    return 1;
}