extern double DSIN(double angle) asm("sin");
#include <stdio.h>
int main(int argc, char **argv) {
  fprintf(stderr, "sin(PI/2) = %f\n", DSIN(3.141592653589793/2));
  return 0;
}