#include <stdio.h>

#include "twice.h"

int first(void);

int main(void) {
    printf("%d %d\n", first(), twice(2));
    return 0;
}